- 語(yǔ)義動(dòng)作
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
semantic actions中文什么意思
例句與用法
- 19 goltz u , gorrieri r , rensink a . on syntactic and semantic action refinement . lecture notes in computer science 789 , 1994 , pp . 385 - 404 . 20 aceto l , action refinement in process algebra . cambridge univ
即精化后的系統(tǒng)行為可以由精化前的系統(tǒng)行為和用于替換原系統(tǒng)動(dòng)作的子系統(tǒng)的行為組合推導(dǎo)出來(lái)2同余性。